Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
141	First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology Add to Reading List Source URL: www.cyc.com Language: English - Date: 2015-06-15 14:07:47 Logic Abstraction Mathematical logic Reasoning Ontology Automated theorem proving Predicate logic Knowledge representation Cyc Knowledge representation and reasoning Upper ontology Semantic reasoner
142	MATH33001 Two hours THE UNIVERSITY OF MANCHESTER PREDICATE LOGIC Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2013-12-16 05:39:08
143	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:28:44 Theoretical computer science Denotational semantics Logic in computer science Predicate Heap Linguistics
144	Learning a Compositional Semantics for Freebase with an Open Predicate Vocabulary Tom M. Mitchell Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213 Add to Reading List Source URL: aclweb.org Language: English - Date: 2015-05-22 15:12:54 Grammar Logic Linguistics Cognitive science Argument Predicate Freebase Semantics FO Join Logical Form
145	LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-04-07 21:09:24 Logic Mathematical logic Abstraction Predicate logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Constructible universe Quantifier First-order logic
146	THE PRINCIPLE OF PREDICATE EXCHANGEABILITY IN PURE INDUCTIVE LOGIC A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2014-02-07 11:48:39
147	Priorean Tense Logic, Tense Predicate Logic and many-sorted Predicate Logic Hans Kamp University of Stuttgart University of Texas, Austin August 18, 2014 Add to Reading List Source URL: conference.prior.aau.dk Language: English - Date: 2014-08-18 11:50:05
148	A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel † Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-11-03 14:04:21 Mathematical logic Software engineering Logic Formal languages Computability theory Models of computation Lambda calculus Formal methods Interpretation Syntactic predicate System F Monad
149	Predicate Exchangeability and Language Invariance in Pure Inductive Logic M.S.Kließ and J.B.Paris School of Mathematics The University of Manchester Add to Reading List Source URL: www.maths.manchester.ac.uk - Date: 2015-05-06 08:39:42
150	ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-14 22:20:33 Logic Abstraction Software Predicate logic Compiler construction Computational linguistics Natural language parsing Programming language implementation Parsing Natural language processing Dependency grammar Domain-specific language

UPDATE